新世代プログラミング⑨ 理論(3) 論理とプログラム - 共立出版コンピュータサイエンス誌『bit』